منابع مشابه
Disjunctive Unification
This paper describes techniques for the representation and efficient unification of feature structures in the presence of disjunctive information. For the specification of feature structures we introduce feature terms which may contain sorts, variables, negation and named disjunction. Disjunction names allow for a compact representation and efficient management of multiple solutions even in cas...
متن کاملDisjunctive Programming
In April 1967 I and my family arrived into the US as fresh immigrants from behind the Iron Curtain. After a fruitful semester spent with George Dantzig’s group in Stanford, I started working at CMU. My debut in integer programming and entry ticket into Academia was the additive algorithm for 0-1 programming [B65], an implicit enumeration procedure based on logical tests akin to what today goes ...
متن کاملDisjunctive Explanations
Abductive logic programming has been widely used to declaratively specify a variety of problems in AI including updates in data and knowledge bases, belief revision, diagnosis, causal theory, and default reasoning. One of the most signi cant issues in abductive logic programming is to develop a reasonable method for knowledge assimilation, which incorporates obtained explanations into the curre...
متن کاملAn Extended Generalized Disjunctive Paraconsistent Data Model for Disjunctive Information
This paper presents an extension of generalized disjunctive paraconsistent relational data model in which pure disjunctive positive and negative information as well as mixed disjunctive positive and negative information can be represented explicitly and manipulated. We consider explicit mixed disjunctive information in the context of disjunctive databases as there is an interesting interplay be...
متن کاملJudgment
The concept of a judgment as a logical action which introduces new information into a deductive system is examined. This leads to a way of mathematically representing implication which is distinct from the familiar material implication, according to which “If A then B” is considered to be equivalent to “B or not-A”. This leads, in turn, to a resolution of the paradox of the raven.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1903
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xii.4.489